1. Identificação | |
Tipo de Referência | Artigo em Evento (Conference Proceedings) |
Site | mtc-m21b.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identificador | 8JMKD3MGP3W34P/3KTH66L |
Repositório | sid.inpe.br/mtc-m21b/2016/01.07.12.57 (acesso restrito) |
Última Atualização | 2020:09.14.15.04.21 (UTC) simone |
Repositório de Metadados | sid.inpe.br/mtc-m21b/2016/01.07.12.57.36 |
Última Atualização dos Metadados | 2020:09.14.15.04.22 (UTC) simone |
Chave Secundária | INPE--PRE/ |
Chave de Citação | ErasSantSantVija:2015:ApBaUM |
Título | Towards a wide acceptance of formal methods to the design of safety critical software: An approach based on UML and model checking |
Ano | 2015 |
Data de Acesso | 12 maio 2024 |
Tipo Secundário | PRE CI |
Número de Arquivos | 1 |
Tamanho | 1299 KiB |
|
2. Contextualização | |
Autor | 1 Eras, Eduardo R. 2 Santos, Luciana Brasil Rebelo 3 Santiago Junior, Valdivino Alexandre de 4 Vijaykumar, Nandamudi Lankalapalli |
Identificador de Curriculo | 1 2 3 8JMKD3MGP5W/3C9JJB5 4 8JMKD3MGP5W/3C9JHTU |
Grupo | 1 CAP-COMP-SPG-INPE-MCTI-GOV-BR 2 CAP-COMP-SPG-INPE-MCTI-GOV-BR 3 LAC-CTE-INPE-MCTI-GOV-BR 4 LAC-CTE-INPE-MCTI-GOV-BR |
Afiliação | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 Instituto Nacional de Pesquisas Espaciais (INPE) 3 Instituto Nacional de Pesquisas Espaciais (INPE) 4 Instituto Nacional de Pesquisas Espaciais (INPE) |
Endereço de e-Mail do Autor | 1 eduardorohdeeras@gmail.com 2 lurebelo@ifsp.edu.br 3 valdivino.santiago@inpe.br 4 vijay.nl@inpe.br |
Nome do Evento | International Conference on Computational Science and Its Applications, 15 (ICCSA) |
Localização do Evento | Banff, Canada |
Data | 22-25 june |
Título do Livro | Proceedings |
Histórico (UTC) | 2016-01-07 12:57:36 :: simone -> administrator :: 2018-06-04 02:56:00 :: administrator -> simone :: 2015 |
|
3. Conteúdo e estrutura | |
É a matriz ou uma cópia? | é a matriz |
Estágio do Conteúdo | concluido |
Transferível | 1 |
Tipo do Conteúdo | External Contribution |
Tipo de Versão | publisher |
Palavras-Chave | Behavioral diagrams Model Checking UML XMITS |
Resumo | The Unified Modeling Language (UML) is widely used to model systems for object oriented and/or embedded software development, specially by means of its several behavioral diagrams which can provide different points of view of the same software scenario. Model Checking is a formal verification method which has been receiving much attention from the academic community. However, in general, practitioners still avoid using Model Checking in their projects due to several reasons. Based on these facts, we present in this paper a significant improvement of a tool that we have developed which aims to translate several UML behavioral diagrams (sequence, activity, and state machine) into Transition Systems to support software Model Checking. With all the changes, we have applied our tool to a real space software product which is under development for a stratospheric balloon project to show how feasible is our approach in practice. |
Área | COMP |
Arranjo 1 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Towards a wide... |
Arranjo 2 | urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > Towards a wide... |
Conteúdo da Pasta doc | acessar |
Conteúdo da Pasta source | não têm arquivos |
Conteúdo da Pasta agreement | |
|
4. Condições de acesso e uso | |
Idioma | en |
Arquivo Alvo | eras_towards.pdf |
Grupo de Usuários | simone |
Grupo de Leitores | administrator simone |
Visibilidade | shown |
Permissão de Leitura | deny from all and allow from 150.163 |
Permissão de Atualização | não transferida |
|
5. Fontes relacionadas | |
Repositório Espelho | sid.inpe.br/mtc-m21b/2013/09.26.14.25.22 |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP 8JMKD3MGPCW/3F2PHGS |
Lista de Itens Citando | sid.inpe.br/mtc-m21/2012/07.13.14.56.50 1 sid.inpe.br/mtc-m21/2012/07.13.15.01.24 1 sid.inpe.br/bibdigital/2013/10.12.22.16 1 |
Acervo Hospedeiro | sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 |
|
6. Notas | |
Campos Vazios | archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor format isbn issn label lineage mark nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url volume |
|
7. Controle da descrição | |
e-Mail (login) | simone |
atualizar | |
|